中英
1
process algebra中文是什么意思
发音:
- 中文翻译
- 造句
- 处理代数
- algebra n. 代数学。
- algebra algebra 代数(学)
- aeussere algebra exterior algebra 外代数
- boolesche algebra boolean algebra 布尔代数
- lie-algebra lie algebra 李代数
- lineare algebra linear algebra 线性代数
- null algebra; zero algebra 零代数
- abelian algebra 阿贝耳代数
- abstract algebra 抽象代数; 传动概论; 近世代数
- action algebra 作用代数
- adic algebra 进代数
- advanced algebra 大代数; 高等代数
- algebra addition 代数加法
- algebra and logic 代数与逻辑
- algebra colloquium 代数集刊（英文版）
- algebra dictionary 历史词典
- algebra homomorphism 代数同态
- algebra isomorphism 代数同构
- algebra of events 事件场
- algebra of fraction 分式代数
- algebra of logic 逻辑代数
- algebra of matrices 矩阵代数
- algebra of matrix 矩阵代数
- algebra of program 程序代数
- algebra of proposition 命题代数
- Information flow models based on security process algebra
网络信息系统的安全性及安全模型 - Modeling and implementing of dss model system based on process algebra
模型系统建模与实现 - Application research of process algebras on performance evaluation
进程代数在性能评价中的应用研究 - process algebras are widely used in describing and analyzing concurrent systems
进程代数在对并发系统的分析和验证等方面获得了广泛应用。 - Following the development of process algebra, many different bisimulations are introduced
随着进程代数的发展,许多不同的互模拟概念相继被提出。 - The-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems
演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。 - Timed bundle event structures, is used as the system model and a real-time lotos-like process algebra is used as the specification language
动作精化是在并发理论当中一种很重要的层次化设计和刻画方法。 - process algebra, as one of the important tools for describing and analyzing concurrent and distributed systems, became an central branch of research in concurrency theory
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。 - 19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
即精化后的系统行为可以由精化前的系统行为和用于替换原系统动作的子系统的行为组合推导出来2同余性。 - University of twente, 1996.5 fecher h, majster-cederbaum m, wu j . bundle event structures : a revised cpo approach . information processing letters, 2002, 83 : 7-12.6 katoen j-p, langerak r, brinksma e, latella d, bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文扩展了传统的动作精化理论，研究具有时间指标的并发系统的动作精化理论，在我们研究的并发系统中，时间指标是系统的一个重要参数，动作的执行也是需要消耗时间的，并且紧急事件也被扩充到可以是任何事件，而不仅仅是超时事件。
- 更多例句： 1 2
- process algebraとは意味：プロセス代数｛だいすう｝
- 推荐英语阅读
process algebra的中文翻译，process algebra是什么意思，怎么用汉语翻译process algebra，process algebra的中文意思，process algebra的中文，process algebra in Chinese，process algebra的中文，process algebra怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Sun, 17 Aug 2025 00:29:56 GMT
关于我们
